Maximum satisfiability problem - PDFSEARCH.IO - Document Search Engine

Maximum satisfiability problem
Results: 26

#	Item
21	Journal on Satisfiability, Boolean Modeling and Computation[removed] The First and Second Max-SAT Evaluations Josep Argelich [removed] Add to Reading List Source URL: jsat.ewi.tudelft.nl Language: English - Date: 2008-10-01 08:14:56 Logic in computer science NP-complete problems Boolean algebra Constraint programming Electronic design automation Maximum satisfiability problem Boolean satisfiability problem 2-satisfiability Resolution Theoretical computer science Mathematics Applied mathematics
22	CSPs Classical results Semi-Definite programming Inapproximability results Classification Final words Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2007-09-24 02:56:24 NP-complete problems Combinatorial optimization Operations research Cut Graph connectivity Maximum cut Approximation algorithm Semidefinite programming Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics
23	Microsoft Word - pamphlet.doc Add to Reading List Source URL: www.satisfiability.org Language: English - Date: 2014-01-20 06:08:38 Logic in computer science Boolean algebra Constraint programming Electronic design automation Formal methods Boolean satisfiability problem Maximum satisfiability problem True quantified Boolean formula Solver Theoretical computer science Applied mathematics Mathematics
24	Satisfiability Suggested Format Last revision: May 8, 1993 Add to Reading List Source URL: www.domagoj-babic.com Language: English - Date: 2008-09-07 21:05:56 Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem Electronic design automation Conjunctive normal form Maximum satisfiability problem Satisfiability 2-satisfiability Theoretical computer science Mathematics Applied mathematics
25	PDF Document Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic in computer science Operations research Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Maximum satisfiability problem ZYpp Solver Theoretical computer science Applied mathematics Mathematics
26	PDF Document Add to Reading List Source URL: www.bracil.net Language: English - Date: 2007-05-26 07:27:01 Constraint programming Logic in computer science Combinatorial optimization Heuristics Operations research Guided Local Search WalkSAT Local search Maximum satisfiability problem Theoretical computer science Mathematics Applied mathematics